4

Obesity, Inflammation, and Insulin Resistance – A Mini-Review

Year:
2009
Language:
english
File:
PDF, 226 KB
english, 2009
9

Supporting ArcAngel in ProofPower

Year:
2009
Language:
english
File:
PDF, 388 KB
english, 2009
10

Mechanical Reasoning about Families of UTP Theories

Year:
2009
Language:
english
File:
PDF, 316 KB
english, 2009
12

Adipose tissue macrophages

Year:
2007
Language:
english
File:
PDF, 150 KB
english, 2007
14

Liver X receptors in cardiovascular and metabolic disease

Year:
2006
Language:
english
File:
PDF, 418 KB
english, 2006
18

Mechanised support for sound refinement tactics

Year:
2012
Language:
english
File:
PDF, 373 KB
english, 2012
19

Immunomodulation by polyunsaturated fatty acids: Impact on T-cell signaling

Year:
2004
Language:
english
File:
PDF, 211 KB
english, 2004
31

Mechanical reasoning about families of UTP theories

Year:
2012
Language:
english
File:
PDF, 536 KB
english, 2012
43

Safety-critical Java programs fromCircusmodels

Year:
2013
Language:
english
File:
PDF, 3.70 MB
english, 2013
50

Laws of mission-based programming

Year:
2015
Language:
english
File:
PDF, 2.99 MB
english, 2015